Network-wide Configuration Synthesis

Computer networks are hard to manage. Given a set of high-level requirements (e.g., reachability, security), operators have to manually figure out the individual configuration of potentially hundreds of devices running complex distributed protocols so that they, collectively, compute a compatible forwarding state. Not surprisingly, operators often make mistakes which lead to downtimes. To address this problem, we present a novel synthesis approach that automatically computes correct network configurations that comply with the operator's requirements. We capture the behavior of existing routers along with the distributed protocols they run in stratified Datalog. Our key insight is to reduce the problem of finding correct input configurations to the task of synthesizing inputs for a stratified Datalog program. To solve this synthesis task, we introduce a new algorithm that synthesizes inputs for stratified Datalog programs. This algorithm is applicable beyond the domain of networks. We leverage our synthesis algorithm to construct the first network-wide configuration synthesis system, called SyNET, that support multiple interacting routing protocols (OSPF and BGP) and static routes. We show that our system is practical and can infer correct input configurations, in a reasonable amount time, for networks of realistic size (> 50 routers) that forward packets for multiple traffic classes.Comment: 24 Pages, short version published in CAV 201

Investigation of MoOx/Al2O3 under Cyclic Operation for Oxidative and Non-Oxidative Dehydrogenation of Propane

A MoOx/Al2O3 catalyst was synthesised and tested for oxidative (ODP) and non-oxidative (DP) dehydrogenation of propane in a reaction cycle of ODP followed by DP and a second ODP run. Characterisation results show that the fresh catalyst contains highly dispersed Mo oxide species in the +6 oxidation state with tetrahedral coordination as [MoVIO4]2− moieties. In situ X-ray Absorption Spectroscopy (XAS) shows that [MoVIO4]2− is present during the first ODP run of the reaction cycle and is reduced to MoIVO2 in the following DP run. The reduced species are partly re-oxidised in the subsequent second ODP run of the reaction cycle. The partly re-oxidised species exhibit oxidation and coordination states that are lower than 6 but higher than 4 and are referred to as MoxOy. These species significantly improved propene formation (relatively 27% higher) in the second ODP run at similar propane conversion activity. Accordingly, the initial tetrahedral [MoVIO4]2− present during the first ODP run of the reaction cycle is active for propane conversion; however, it is unselective for propene. The reduced MoIVO2 species are relatively less active and selective for DP. It is suggested that the MoxOy species generated by the reaction cycle are active and selective for ODP. The vibrational spectroscopic data indicate that the retained surface species are amorphous carbon deposits with a higher proportion of aromatic/olefinic like species

Automatic correction of hand pointing in stereoscopic depth

In order to examine whether stereoscopic depth information could drive fast automatic correction of hand pointing, an experiment was designed in a 3D visual environment in which participants were asked to point to a target at different stereoscopic depths as quickly and accurately as possible within a limited time window (≤300 ms). The experiment consisted of two tasks: "depthGO" in which participants were asked to point to the new target position if the target jumped, and "depthSTOP" in which participants were instructed to abort their ongoing movements after the target jumped. The depth jump was designed to occur in 20% of the trials in both tasks. Results showed that fast automatic correction of hand movements could be driven by stereoscopic depth to occur in as early as 190 ms.This work was supported by the Grants from the National Natural Science Foundation of China (60970062 and 61173116) and the Doctoral Fund of Ministry of Education of China (20110072110014)

Emotion based attentional priority for storage in visual short-term memory

A plethora of research demonstrates that the processing of emotional faces is prioritised over non-emotive stimuli when cognitive resources are limited (this is known as ‘emotional superiority’). However, there is debate as to whether competition for processing resources results in emotional superiority per se, or more specifically, threat superiority. Therefore, to investigate prioritisation of emotional stimuli for storage in visual short-term memory (VSTM), we devised an original VSTM report procedure using schematic (angry, happy, neutral) faces in which processing competition was manipulated. In Experiment 1, display exposure time was manipulated to create competition between stimuli. Participants (n = 20) had to recall a probed stimulus from a set size of four under high (150 ms array exposure duration) and low (400 ms array exposure duration) perceptual processing competition. For the high competition condition (i.e. 150 ms exposure), results revealed an emotional superiority effect per se. In Experiment 2 (n = 20), we increased competition by manipulating set size (three versus five stimuli), whilst maintaining a constrained array exposure duration of 150 ms. Here, for the five-stimulus set size (i.e. maximal competition) only threat superiority emerged. These findings demonstrate attentional prioritisation for storage in VSTM for emotional faces. We argue that task demands modulated the availability of processing resources and consequently the relative magnitude of the emotional/threat superiority effect, with only threatening stimuli prioritised for storage in VSTM under more demanding processing conditions. Our results are discussed in light of models and theories of visual selection, and not only combine the two strands of research (i.e. visual selection and emotion), but highlight a critical factor in the processing of emotional stimuli is availability of processing resources, which is further constrained by task demands

Renal Effects of the Novel Selective Adenosine A1 Receptor Blocker SLV329 in Experimental Liver Cirrhosis in Rats

Liver cirrhosis is often complicated by an impaired renal excretion of water and sodium. Diuretics tend to further deteriorate renal function. It is unknown whether chronic selective adenosine A1 receptor blockade, via inhibition of the hepatorenal reflex and the tubuloglomerular feedback, might exert diuretic and natriuretic effects without a reduction of the glomerular filtration rate. In healthy animals intravenous treatment with the novel A1 receptor antagonist SLV329 resulted in a strong dose-dependent diuretic (up to 3.4-fold) and natriuretic (up to 13.5-fold) effect without affecting creatinine clearance. Male Wistar rats with thioacetamide-induced liver cirrhosis received SLV329, vehicle or furosemide for 12 weeks. The creatinine clearance of cirrhotic animals decreased significantly (−36.5%, p<0.05), especially in those receiving furosemide (−41.9%, p<0.01). SLV329 was able to prevent this decline of creatinine clearance. Mortality was significantly lower in cirrhotic animals treated with SLV329 in comparison to animals treated with furosemide (17% vs. 54%, p<0.05). SLV329 did not relevantly influence the degree of liver fibrosis, kidney histology or expression of hepatic or renal adenosine receptors. In conclusion, chronic treatment with SLV329 prevented the decrease of creatinine clearance in a rat model of liver cirrhosis. Further studies will have to establish whether adenosine A1 receptor antagonists are clinically beneficial at different stages of liver cirrhosis

What Drives the Intensification of Mesoscale Convective Systems over the West African Sahel under Climate Change?

Extreme rainfall is expected to increase under climate change, carrying potential socioeconomic risks. However, the magnitude of increase is uncertain. Over recent decades, extreme storms over the West African Sahel have increased in frequency, with increased vertical wind shear shown to be a cause. Drier midlevels, stronger cold pools, and increased storm organization have also been observed. Global models do not capture the potential effects of lower- to midtropospheric wind shear or cold pools on storm organization since they parameterize convection. Here we use the first convection-permitting simulations of African climate change to understand how changes in thermodynamics and storm dynamics affect future extreme Sahelian rainfall. The model, which simulates warming associated with representative concentration pathway 8.5 (RCP8.5) until the end of the twenty-first century, projects a 28% increase of the extreme rain rate of MCSs. The Sahel moisture change on average follows Clausius–Clapeyron scaling, but has regional heterogeneity. Rain rates scale with the product of time-of-storm total column water (TCW) and in-storm vertical velocity. Additionally, prestorm wind shear and convective available potential energy both modulate in-storm vertical velocity. Although wind shear affects cloud-top temperatures within our model, it has no direct correlation with precipitation rates. In our model, projected future increase in TCW is the primary explanation for increased rain rates. Finally, although colder cold pools are modeled in the future climate, we see no significant change in near-surface winds, highlighting avenues for future research on convection-permitting modeling of storm dynamics